More from this Author

Formal Methods and Software Engineering

by Karin Breitman (Editor), Ana Cavalcanti (Editor)

Testing Techniques in Software Engineering

by Paulo Borba (Editor), Ana Cavalcanti (Editor), Augusto Sampaio (Editor), Jim Woodcook (Editor)